-
1 deduction-oriented language
язык( логических) выводовБольшой англо-русский и русско-английский словарь > deduction-oriented language
-
2 deduction-oriented language
Англо-русский словарь технических терминов > deduction-oriented language
-
3 deduction-oriented language
Техника: язык выводов (логических), язык логических выводовУниверсальный англо-русский словарь > deduction-oriented language
-
4 language
-
absolute language
-
algorithmical language
-
algorithmic language
-
applicative language
-
artificial language
-
assembler language
-
block-structured language
-
Boolean algebra-based language
-
Boolean based language
-
command language
-
compilative language
-
compiler language
-
computer language
-
computer-dependent language
-
computer-independent language
-
computer-oriented language
-
computer-sensitive language
-
context-free language
-
control language
-
conversational language
-
core language
-
data language
- data manipulation language -
data-base language
-
data-definition language
-
data-query language
-
declarative language
-
deduction-oriented language
-
design language
-
explicit language
-
expression-oriented language
-
extensible language
-
FG-kernel language
-
finite state language
-
formal specification language
-
function language
-
functional language
-
graphics-oriented language
-
graphics language
-
hardware-based language
-
high-level language
-
host language
-
human language
-
human-oriented language
-
hybrid language
-
imperative language
-
input language
-
instruction language
-
interactive language
-
interface language
-
intermediate language
-
interpretive language
-
job control language
-
kernel language
-
knowledge representation language
-
list-processing language
-
low-level language
-
machine language
-
machine-dependent language
-
machine-independent language
-
machine-oriented language
-
macro language
-
meta language
-
mnemonic language
-
narrative language
-
native language
-
native-mode language
-
natural language
-
NC-AM language
-
network control language
-
nonprocedural language
-
nucleus language
-
object language
-
object-oriented language
-
original language
-
parallel language
-
plain language
-
privacy language
-
problem solving language
-
problem-oriented language
-
procedural language
-
program development language
-
program language
-
programming language
-
pseudo language
-
query language
-
real-time language
-
reference language
-
regular language
-
relational language
-
retrieval language
-
robot language
-
rule language
-
semantic language
-
sentential language
-
simulation language
-
source language
-
specification description language
-
specification language
-
stratified language
-
structured language
-
symbolic language
-
system language
-
system-oriented language
-
target language
-
typed language
-
unstratified language
-
untyped language
-
user-oriented language
-
world-modeling language -
5 язык выводов
Большой англо-русский и русско-английский словарь > язык выводов
-
6 tree
1) вчт древовидная схема; древовидный дешифратор2) дерево (напр. графа) || древовидный3) крист. дендрит•- tree of given weight
- tree of objectives
- tree of statements
- abstract syntax tree
- adaptive tree
- Adel'son-Vel'ski-Landis tree
- Aronshine tree
- AVL tree
- B-tree
- balanced tree
- bifurcation tree
- binary tree
- binary searchtree
- Boolean tree
- branching tree
- Cartesian tree
- Cayley tree
- choice tree
- classification tree
- classification and regression tree
- clock tree
- cluster tree
- co-tree
- code tree
- command tree
- complement tree
- complete code tree
- computation tree
- conference tree
- countable tree
- decision tree
- decomposition tree
- deduction tree
- derivation tree
- edge-rooted tree
- equipotential tree
- existence trie tree
- fault tree
- Feigenbaum tree
- Fibonacci tree
- finite tree
- fractal tree
- game tree
- generation tree
- graph tree
- hardware tree
- hierarchical tree
- homeomorphically irreducible tree
- Husimi tree
- hypothesis search tree
- inference tree
- information tree
- labeled tree
- language tree
- lexicographic tree
- loaded fractal tree
- logical tree
- minimal tree
- minimal length tree
- multibranch tree
- multiway tree
- normal tree
- optimal tree
- optimal merge tree
- optimal search tree
- ordered tree
- oriented tree
- outcome tree
- parse tree
- parsing tree
- patricia tree
- planar tree
- plane tree
- priority tree
- priority search tree
- probability tree
- production tree
- proper tree
- proof tree
- radix tree
- randomized binary tree
- RB tree
- recursive tree
- red-black tree
- response tree
- rooted tree
- search tree
- selection tree
- shortest tree
- shortest-distance tree
- signed tree
- spanning tree
- specific tree
- subject tree
- subspanning tree
- suffix tree
- symmetric tree
- syntax tree
- ternary tree
- ternary search tree
- threaded tree
- topological tree
- transition tree
- trie tree
- two-color tree
- two-dimensional tree
- two-level tree
- unlabeled tree
- weighted tree -
7 tree
1) дерево, древо || засаживать деревьями2) древовидная схема; древовидная структура3) т. граф. дерево4) pl дендритные образования на катоде ( при электроосаждении металлов)- mixed star tree - plane tree- set tree
См. также в других словарях:
Multi-paradigm programming language — A multi paradigm programming language is a programming language that supports more than one programming paradigm. As Leda designer Tim Budd holds it: The idea of a multiparadigm language is to provide a framework in which programmers can work in… … Wikipedia
Object language — An object language is a language which is the object of study in various fields including logic, linguistics, mathematics and theoretical computer science. The language being used to talk about an object language is called a metalanguage. An… … Wikipedia
Natural language understanding — Learning to read by Sigurður málari, 19th century. Natural language understanding is a subtopic of natural language processing in artificial intelligence that deals with machine reading comprehension. The proc … Wikipedia
Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… … Wikipedia
Dao (programming language) — Infobox programming language name = Dao paradigm = Multi paradigm year = 2006 designer = Limin Fu latest release version = dao 1.0 preview latest release date = 2008 04 25 typing = statically typed or dynamically typed influenced by = C++, Lua,… … Wikipedia
computer science — computer scientist. the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers. [1970 75] * * * Study of computers, their… … Universalium
C++11 — C++11, also formerly known as C++0x,[1] is the name of the most recent iteration of the C++ programming language, replacing C++TR1, approved by the ISO as of 12 August 2011.[2] The name is derived from the tradition of naming language versions by … Wikipedia
education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… … Wikipedia
philosophy, Western — Introduction history of Western philosophy from its development among the ancient Greeks to the present. This article has three basic purposes: (1) to provide an overview of the history of philosophy in the West, (2) to relate… … Universalium